HANDLE_OPCODE(OP_UNUSED_72FF)
OP_END
